• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۳۰۹ پاسخ غیر تکراری از ۳۱۰ پاسخ تکراری در مدت زمان ۰,۷۰ ثانیه یافت شد.

161. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses

رده :
QA
76
.
7
.
M38
1990
مشاهده در قفسه مجازی RIS Bibtex ISO

162. Mathematical foundations of programming semantics, 5th international confernce, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989: proceedings

پدیدآورنده: M. Main...]et al.[ )eds.(

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Semantics- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science - Mathematics

رده :
QA
76
.
7
.
M38
1990
مشاهده در قفسه مجازی RIS Bibtex ISO

163. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings

پدیدآورنده: Pierre Cointe )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1616
مشاهده در قفسه مجازی RIS Bibtex ISO

164. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings

پدیدآورنده: Akinori Yonezawa, Satoshi Matsuoka )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

رده :
QA
76
.
L28
Vol
.
2192
مشاهده در قفسه مجازی RIS Bibtex ISO

165. Methods of algorithmic language implementation

پدیدآورنده: edited by A. Ershov and C. H. A. Koster

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages

رده :
QA
76
.
L4
v
.
47
مشاهده در قفسه مجازی RIS Bibtex ISO

166. Methods of algorithmic language implementation

پدیدآورنده: edited by A. Ershov and C.H.A. Koster

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages

رده :
QA
76
.
L28
Vol
.
47
مشاهده در قفسه مجازی RIS Bibtex ISO

167. Minicomputer software

پدیدآورنده: / edited by James R. Bell and C. Gordon Bell

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Minicomputers -- Programming -- Congresses,Programming languages (Electronic computers)

رده :
QA
76
.
6
.
I177
1975
مشاهده در قفسه مجازی RIS Bibtex ISO

168. Minicomputer software: proceedings of the IFIP Conference of software for minicomputers

پدیدآورنده: IFIP Conference on Software for Microccomputers , Keszthely , Hungary, 5791

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع: ، Miniatur computers - Programming , Congresses,، Programming languages ) Electronic computers(

رده :
QA
76
.
6
.
I77
1975
مشاهده در قفسه مجازی RIS Bibtex ISO

169. Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers : IFIP TC-2 Working Conference on Software for minicomputers, Lake Balaton, Hungary, 8-12 September 1975

پدیدآورنده: IFIP Conference on Software for Minicomputers, )5791, Keszthely, Hungary(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Minicomputers-- Programming-- Congresses,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
I177
1975
مشاهده در قفسه مجازی RIS Bibtex ISO

170. Minicomputer software,proceedings of the IFIP conference on software for minicomputers

پدیدآورنده: / Edited by James R. Bell and C.Gordon Bell

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Miniature computers -- Programming -- Congresses,Programming languages ( Electronic computers) -- Congresses

رده :
QA76
.
6
I177
1975
مشاهده در قفسه مجازی RIS Bibtex ISO

171. Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings

پدیدآورنده: Laszlo Boszormenyi, Peter Schojer )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
2789
مشاهده در قفسه مجازی RIS Bibtex ISO

172. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 2000: proceedings

پدیدآورنده: Jurg Gutknecht, Wolfgang Weck )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1897
مشاهده در قفسه مجازی RIS Bibtex ISO

173. Modular programming languages : joint Modular Languages Conference, JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings

پدیدآورنده: Hanspeter Mossenbock )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1204
مشاهده در قفسه مجازی RIS Bibtex ISO

174. Natural language at the computer: proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
N38
.
S38
1988
مشاهده در قفسه مجازی RIS Bibtex ISO

175. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987

پدیدآورنده: edited by Veronica Dahl and Patrick Saint-Dizier

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming

رده :
QA
76
.
63
.
I58
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

176. Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987

پدیدآورنده: edited by Veronica Dahl and Patrick Saint-Dizier

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Logic programming

رده :
QA
76
.
7
.
I578
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

177. Natural language understanding and logic programming, II

پدیدآورنده: / edited by Veronica Dahl and Patrick Saint-Dizier

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses

رده :
QA76
.
7
.
I578
1987
مشاهده در قفسه مجازی RIS Bibtex ISO

178. OpenMP :

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers) ; Congresses. ;

رده :
RIS Bibtex ISO

179. OpenMP: conquering the full hardware spectrum :

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers) ; Congresses. ;

رده :
RIS Bibtex ISO

180. PARLE, parallel architectures and languages Europe :

پدیدآورنده: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
5
.
C61926
1987
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 16
  • 15
  • 14
  • 13
  • 12
  • 11
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال